1. Abstract recursion and intrinsic complexity
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algorithms. ; Recursion theory. ; Set theory. ;
2. Abstract recursion and intrinsic complexity /
پدیدآورنده : Yiannis N. Moschovakis (University of California, Los Angeles, and University of Athens).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithms.,Recursion theory.,Set theory.,Algorithms.,Recursion theory.,Set theory.
رده :
QA9
.
58
.
M67
2019
3. Cabal Seminar 77-79 : Proceedings, Caltech-UCLA Logic Seminar 1977-79
پدیدآورنده : edited by A. S. Kedris, D. A. Martin, and Y. N. Moschovakis
کتابخانه: (طهران)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
3
.
L28
Vol
.
839
4. Cabal Seminar 79-81 : Proceedings, Caltech - UCLA logic Seminar 1979-81
پدیدآورنده : edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
3
.
L28
no
.
1019
5. Cabal Seminar 76-77 : Proceedings, Caltech-UCLA logic Seminar 1976-1977
پدیدآورنده : edited by A. S. Kechris and Y. N. Moschovakis
کتابخانه: (طهران)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
3
.
L28
Vol
.
689
6. Cabal Seminar 77-79: proceedings, Caltech-UCLA logic seminar 1977-1979
پدیدآورنده : edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Recursion theory,Congresses ، Set theory
رده :
QA
3
.
L28
no
.
839
7. Cabal seminar 79-81 : proceedings, Caltech - UCLA Logic Seminat 1979-1981
پدیدآورنده : edited by A. S. Kechris, D. A. Martin and Y. N. Moschovakis
کتابخانه: (طهران)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
3
.
L28
Vol
.
1019
8. Cabal seminar 76-77: proceedings, caltech UCLA logic seminar 1976-77
پدیدآورنده : edited by A. S. Kechris and Y. N. Moschovakis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
689
9. Descriptive set theory
پدیدآورنده : Moschovakis, Yiannis N.
موضوع : ، Descriptive set theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
10. Descriptive set theory
پدیدآورنده : Moschovakis, Yiannis Nicholas, 8391-
کتابخانه: (طهران)
موضوع : ، Descriptive set theory
رده :
QA
248
.
M675D4
2009
11. Descriptive set theory /
پدیدآورنده : Yiannis N. Moschovakis.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Descriptive set theory.,Ensembles, Théorie des.,Descriptive set theory.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Verzamelingen (wiskunde)
رده :
QA248
.
M66
1980eb
12. Descriptive set theory
پدیدآورنده : Moschovakis, Yiannis Nicholas, 8391-
کتابخانه: (طهران)
موضوع : ، Descriptive set theory
رده :
QA
248
.
M675D4
13. ELEMENTARY INDUCTION ON ABSTRACT STRUCTURES.
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)
موضوع :
رده :
511
.
5
,
MOE
14. Elementary induction on abstract structure
پدیدآورنده : Moschovakis, Yiannis N
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Recursive functions,، Induction )Mathematics(
رده :
QA
248
.
5
.
M67
15. Elementary induction on abstract structures
پدیدآورنده : Moschovakis, Yiannis N
موضوع : ، Recursive functions,، Induction )Mathematics(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
16. Elementary induction on abstract structures
پدیدآورنده : Moschovakis, Yiannis N.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Recursive functions,، Induction )Mathematics(
رده :
QA
248
.
5
.
M67
17. Elementary induction on abstract structures
پدیدآورنده : / Yiannis N. Moschovakis
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Recursive functions,Induction (Mathematics)
رده :
511
.
2
M896
18. Logic from computer science
پدیدآورنده : Y.N. Moschovakis, editor
کتابخانه: (کرمان)
موضوع : Logic, Symbolic and mathematical -- Congresses,Computer science -- Congresses
رده :
QA
9
.
A1
,
L64
1991
19. Logic from computer science
پدیدآورنده : Y.N. Moschovakis, editor
کتابخانه: (کرمان)
موضوع : Logic, Symbolic and mathematical -- Congresses,Computer science -- Congresses
رده :
QA
9
.
A1
,
L64
1991
20. Logic from computer science : proceedings of a workshop held November 13-17, 1989
پدیدآورنده : Y.N. Moschovakis, editor
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science
رده :
QA
1
.
M3
v
.
21
